V2EX  ›  英汉词典

Partial Evaluation

释义 Definition

partial evaluation部分评估/阶段性评价;在计算机科学中常指部分求值(偏求值),即在已知部分输入的情况下先执行程序的一部分,以生成更高效的专用程序。(在不同领域侧重点略有不同)

发音 Pronunciation (IPA)

/ˈpɑːrʃəl ɪˌvæljuˈeɪʃən/

例句 Examples

The teacher gave us a partial evaluation halfway through the course.
老师在课程进行到一半时给了我们一次阶段性评价。

In compiler research, partial evaluation specializes a program using known inputs, often improving performance without changing the final result.
在编译器研究中,部分求值会利用已知输入对程序进行专门化处理,通常能在不改变最终结果的情况下提升性能。

词源 Etymology

partial 来自拉丁语 partialis(“部分的”),与 part(部分)同源;evaluation 来自 evaluate,其根源可追溯到拉丁语 valere(“有价值、起作用”)。合起来字面意思就是“对某一部分进行价值判断/评估”,在计算机领域引申为“只在部分信息已知时先做一部分计算”。

相关词 Related Words

文学与著作 Literary Works

  • Partial Evaluation and Automatic Program Generation(Neil D. Jones, Carsten K. Gomard, Peter Sestoft)
  • Advanced Topics in Types and Programming Languages(Benjamin C. Pierce,收录与程序变换/求值相关主题中常提及该概念)
  • Compilers: Principles, Techniques, and Tools(Aho, Lam, Sethi, Ullman;编译优化语境下常与程序专门化、常量折叠等并列讨论)
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   945 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 10ms · UTC 17:54 · PVG 01:54 · LAX 09:54 · JFK 12:54
♥ Do have faith in what you're doing.